var foodfinder05 = Domain(
  data("Ratings") has (quality("Show a maximum of 5 ratings at a time"),data("Mean value")), 
  data("Reviews") has (quality("Show a maximum of 5 reviews at a time")), 
  data("Statistics") has (data("Location"),data("Timestamp"),data("OS identifier"),data("Sharing statistics")), 
  feature("Alert messages", 
    state -> created,
    creation -> Time(y=2011,m=11,d=10,h=16,min=45,sec=59),
    revision -> Time(y=2011,m=11,d=10,h=16,min=45,sec=59)
  ), 
  feature("Alert messages") has (feature("Version message"),feature("Release messages"),feature("Error message"),feature("Network message"),feature("Rate message")), 
  feature("Coupon", 
    state -> created,
    creation -> Time(y=2011,m=11,d=11,h=14,min=32,sec=55),
    revision -> Time(y=2011,m=11,d=11,h=14,min=32,sec=55)
  ), 
  feature("Customisation", 
    state -> created,
    creation -> Time(y=2011,m=11,d=10,h=19,min=52,sec=48),
    revision -> Time(y=2011,m=11,d=10,h=19,min=52,sec=48)
  ), 
  feature("Customisation") has (feature("Favourites")), 
  feature("Error message") has (function("Notify developers"),data("Timestamp"),data("Error code"),quality("Written in English"),quality("Describes the cause of the error without the use of written code in the message."),feature("Timeout error")), 
  feature("Execution", 
    state -> created,
    creation -> Time(y=2011,m=11,d=10,h=20,min=28,sec=46),
    revision -> Time(y=2011,m=11,d=10,h=20,min=28,sec=46)
  ), 
  feature("Execution") has (feature("Execution time"),feature("Execution rigidity"),feature("Network")), 
  feature("Facebook") has (feature("Checkin"),feature("Message"),feature("Message wall")), 
  feature("Favourites") has (quality("Can store at least 100 favourites"),feature("Sortable"),feature("Removable"),feature("Shareable")), 
  feature("Feedback", 
    state -> created,
    creation -> Time(y=2011,m=11,d=10,h=20,min=45,sec=41),
    revision -> Time(y=2011,m=11,d=10,h=20,min=45,sec=41)
  ), 
  feature("Feedback") has (feature("Send feature request"),feature("Developer contact"),feature("Send statistics")), 
  feature("Filter") has (feature("Opening hours"),feature("Rating"),feature("Category"),feature("Favourites"),feature("Blacklisted")), 
  feature("Follows the application marketplace guidelines", 
    state -> created,
    creation -> Time(y=2011,m=11,d=10,h=19,min=21,sec=45),
    revision -> Time(y=2011,m=11,d=10,h=19,min=21,sec=45)
  ), 
  feature("Graphic", 
    state -> created,
    creation -> Time(y=2011,m=11,d=10,h=20,min=34,sec=26),
    revision -> Time(y=2011,m=11,d=10,h=20,min=34,sec=26)
  ), 
  feature("Info view") has (feature("Directions to active location from here"),data("Reviews"),data("Distance from active location"),data("Ratings"),feature("Add to favourites"),data("Address"),data("Open hours"),feature("Directions from active location"),goal("Supply sufficient information for the specified location"),feature("Share")), 
  feature("Introduction tutorial", 
    state -> created,
    creation -> Time(y=2011,m=11,d=11,h=14,min=45,sec=43),
    revision -> Time(y=2011,m=11,d=11,h=14,min=45,sec=43)
  ), 
  feature("Introduction tutorial") has (quality("Should be understood by at least 80 percent of all users in a mixed English speaking focus group"),feature("Retakeable"),quality("Should include at least 80 percent of all product features"),quality("A user should after completion be able to perform at least 80 percent of all product features"),feature("Cancelable"),quality("80 percent of the users should be able to complete the tutorial within 2 minutes, 95 percent of the time"),quality("All text should be written in English")), 
  feature("Introduction") has (), 
  feature("Launch screen", 
    state -> created,
    creation -> Time(y=2011,m=11,d=10,h=20,min=25,sec=59),
    revision -> Time(y=2011,m=11,d=10,h=20,min=25,sec=59)
  ), 
  feature("Location info") has (data("Title"),data("Rating"),data("Icon"),feature("Info view")), 
  feature("Map Support") has (feature("Map pin")), 
  feature("Map arrow") has (quality("Never larger than 48 pixels."),feature("Transforms into a map pin if location within the view port"),feature("Shows distance"),data("Icon"),feature("Reflects distance in its size")), 
  feature("Map pin") has (feature("Pin types"),feature("Radius"),feature("Changable icon"),data("Icon"),data("Color"),feature("Removable"),feature("Tapable")), 
  feature("Map support", 
    gist -> "Map features",
    state -> created,
    creation -> Time(y=2011,m=11,d=10,h=16,min=12,sec=8),
    revision -> Time(y=2011,m=11,d=10,h=16,min=12,sec=8)
  ), 
  feature("Map support") has (feature("Location info"),feature("Filter"),feature("Mutable radius"),quality("Shows a maximum of 5 map arrows at a time."),feature("Map view"),feature("Map arrow")), 
  feature("Map view") has (feature("Satellite view"),feature("Hybrid view"),feature("User location"),feature("Zoomable"),feature("Regular map view")), 
  feature("Mutable radius") has (quality("Maximum radius coverage is 40 percent of the map view"),feature("viewability toggle"),quality("should if visible be seen by at least 78 percent of all viewers"),feature("Scalable")), 
  feature("News", 
    state -> created,
    creation -> Time(y=2011,m=11,d=11,h=14,min=33,sec=1),
    revision -> Time(y=2011,m=11,d=11,h=14,min=33,sec=1)
  ), 
  feature("Notification support", 
    state -> created,
    creation -> Time(y=2011,m=11,d=10,h=16,min=44,sec=0),
    revision -> Time(y=2011,m=11,d=10,h=16,min=44,sec=0)
  ), 
  feature("Notification support") has (feature("Push notification")), 
  feature("OS support", 
    gist -> "Mobile OS support",
    state -> created,
    creation -> Time(y=2011,m=11,d=10,h=16,min=5,sec=30),
    revision -> Time(y=2011,m=11,d=10,h=16,min=5,sec=30)
  ), 
  feature("OS support") has (feature("Support for Android"),feature("Support for iOS")), 
  feature("Pin types") has (data("Resturant pin type"),data("User pin type")), 
  feature("Send statistics") has (data("Statistics")), 
  feature("Sharing support", 
    state -> created,
    creation -> Time(y=2011,m=11,d=10,h=16,min=32,sec=29),
    revision -> Time(y=2011,m=11,d=10,h=16,min=32,sec=29)
  ), 
  feature("Sharing support") has (feature("SMS integration"),feature("Copy location"),feature("Google+ integration"),feature("E-mail integration"),feature("Twitter"),feature("Facebook")), 
  feature("URL scheme", 
    state -> created,
    creation -> Time(y=2011,m=11,d=10,h=20,min=30,sec=44),
    revision -> Time(y=2011,m=11,d=10,h=20,min=30,sec=44)
  ), 
  feature("User location") has (feature("Compass"),feature("Error margin radius"),quality("Maximum error of 100 meters 80 percent of the time")), 
  product("Food Finder", 
    creation -> Time(y=2011,m=11,d=10,h=16,min=24,sec=52),
    revision -> Time(y=2011,m=11,d=10,h=16,min=24,sec=52)
  ), 
  quality("Follows the guidelines of the Android marketplace", 
    creation -> Time(y=2011,m=11,d=11,h=15,min=1,sec=56),
    revision -> Time(y=2011,m=11,d=11,h=15,min=1,sec=56)
  ), 
  quality("Follows the guidelines of the iOS appstore", 
    creation -> Time(y=2011,m=11,d=11,h=15,min=1,sec=50),
    revision -> Time(y=2011,m=11,d=11,h=15,min=1,sec=50)
  ), 
  stakeholder("user", 
    creation -> Time(y=2011,m=11,d=10,h=15,min=55,sec=20),
    revision -> Time(y=2011,m=11,d=10,h=15,min=55,sec=20)
  )
)
